The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·4h·
Discuss: Hacker News, r/programming
🔗Lisp
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·18h·
Discuss: DEV
🦀Rust Borrowing
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·8h
📝Concrete Syntax
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·10h
🔗Topological Sorting
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
Strict alternation of data and behaviour in Smalltalk
eighty-twenty.org·5h
📞Session Types
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·18h·
Discuss: DEV
🔗Concatenative Programming
The Guide to the Foundation Models Framework
azamsharp.com·1h·
Discuss: Hacker News
λLambda Formalization
higher: Your favourite Haskell type classes for Rust (2023)
github.com·4d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Counting with Categories (Part 3)
golem.ph.utexas.edu·23h
λLambda Formalization
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·13h·
Discuss: Hacker News
🦀Rust Macros
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
TypeScript Complete Roadmap (Beginner to Advanced) — 2025 Edition
dev.to·7h·
Discuss: DEV
λLambda Formalization
Threaded Code
muforth.dev·3h·
Discuss: Hacker News
🦀Rust Macros
Proving that every program halts
ntietz.com·2d
👑Isabelle
Self-referential structs that can actually move in Rust
reddit.com·2d·
Discuss: r/rust
🦀Rust Borrowing
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.dev·1d·
Discuss: Hacker News, r/javascript, r/webdev
🦀Rust Macros
Proficient Python: A free interactive online course
blog.pamelafox.org·1d·
Discuss: www.blogger.com, Hacker News
🔗Concatenative Programming